From: Stéphane Glondu <glondu@debian.org>
Date: Sun, 1 Mar 2026 20:32:31 +0000 (+0100)
Subject: Compile utils/config.{cmi,cmx} with -opaque
X-Git-Tag: archive/raspbian/5.4.1-1+rpi1^2~2
X-Git-Url: https://dgit.raspbian.org/%22http://www.example.com/cgi/success//%22http:/www.example.com/cgi/success/?a=commitdiff_plain;h=2b0411c245ec6a49f2725d041d83cf7f9aa3bb9a;p=ocaml.git

Compile utils/config.{cmi,cmx} with -opaque

The goal is to stabilize compiler-libs ABI.

Gbp-Pq: Name Compile-utils-config.-cmi-cmx-with-opaque.patch
---

diff --git a/Makefile b/Makefile
index 4ce5da65..c9d43003 100644
--- a/Makefile
+++ b/Makefile
@@ -2546,6 +2546,12 @@ endif
 %.cmx: %.ml
 	$(V_OCAMLOPT)$(COMPILE_NATIVE_MODULE) -c $<
 
+utils/config.cmi: utils/config.mli
+	$(V_OCAMLC)$(CAMLC) $(OC_COMMON_COMPFLAGS) -I $(@D) $(INCLUDES) -opaque -c $<
+
+utils/config.cmx: utils/config.ml
+	$(V_OCAMLOPT)$(COMPILE_NATIVE_MODULE) -opaque -c $<
+
 partialclean::
 	for d in utils parsing typing bytecomp asmcomp middle_end file_formats \
            lambda middle_end/closure middle_end/flambda \